/LMAR=0/XLINE=3/FONT#3=BASB30/FONT#2=BASI30/FONT#1=BDR30/FONT#0=BDR30



␈↓ ↓H␈↓␈↓ ↓x␈↓αa␈↓↓[␈↓αn␈↓↓, ␈↓αk␈↓↓] ← ␈↓βif␈↓↓ ␈↓αequal␈↓↓[␈↓αk␈↓↓, 0] ␈↓βthen␈↓↓ (NIL)
␈↓ ↓H␈↓↓␈↓ αt␈↓βelse if␈↓↓ ␈↓αn␈↓↓ < 0 ∨ ␈↓αk␈↓↓ > ␈↓αn␈↓↓ ␈↓βthen␈↓↓ NIL
␈↓ ↓H␈↓↓␈↓ αt␈↓βelse␈↓↓ ␈↓αa␈↓↓[␈↓αsub1␈↓↓ ␈↓αn␈↓↓, ␈↓αk␈↓↓]
␈↓ ↓H␈↓↓␈↓ β.* ␈↓αmapcar␈↓↓[[λ␈↓αu␈↓↓. ␈↓αn␈↓↓ . [␈↓αsub1␈↓↓ ␈↓αn␈↓↓ . ␈↓αu␈↓↓]], ␈↓αa␈↓↓[␈↓αn␈↓↓ - 2, ␈↓αk␈↓↓ - 2]]
␈↓ ↓H␈↓↓␈↓ β.* ␈↓αmapcar␈↓↓[[λ␈↓αu␈↓↓. ␈↓αn␈↓↓ . ␈↓αu␈↓↓], ␈↓αa␈↓↓[␈↓αn␈↓↓ - 2, ␈↓αsub1␈↓↓ ␈↓αk␈↓↓]]



␈↓ ↓H␈↓↓␈↓ ↓x␈↓αa1␈↓↓[␈↓αpre␈↓↓, ␈↓αn␈↓↓, ␈↓αk␈↓↓, ␈↓αl␈↓↓] ←
␈↓ ↓H␈↓↓␈↓ α_␈↓βif␈↓↓ ␈↓αequal␈↓↓[␈↓αk␈↓↓, 0] ␈↓βthen␈↓↓ ␈↓αreverse␈↓↓ ␈↓αpre␈↓↓ . ␈↓αl
␈↓ ↓H␈↓α␈↓ α_␈↓βelse if␈↓↓ ␈↓αn␈↓↓ < 0 ∨ ␈↓αk␈↓↓ > ␈↓αn␈↓↓ ␈↓βthen␈↓↓ ␈↓αl
␈↓ ↓H␈↓α␈↓ α_␈↓βelse␈↓↓ ␈↓αa1␈↓↓[␈↓αpre␈↓↓, ␈↓αsub1␈↓↓ ␈↓αn␈↓↓, ␈↓αk␈↓↓, ␈↓αa1␈↓↓[␈↓αsub1␈↓↓ ␈↓αn␈↓↓ . [␈↓αn␈↓↓ . ␈↓αpre␈↓↓], ␈↓αn␈↓↓ - 2, ␈↓αk␈↓↓ - 2, ␈↓αa1␈↓↓[␈↓αn␈↓↓ . ␈↓αpre␈↓↓, ␈↓αn␈↓↓ - 2, ␈↓αsub1␈↓↓ ␈↓αk␈↓↓, ␈↓αl␈↓↓]]]